Mathematical Logic in Computer Science

Mathematical Logic for Computer Science - 2nd Edition

logic in computer science solution manual PDF logic in computer science huth ryan solutions PDF logic in computer science modelling and reasoning about systems PDF mathematical structures for computer science PDF symbolic rewriting techniques progress in computer science and applied logic PDF handbook of logic in computer science volume 2 background computational structures PDF logic mathematic...

Evaluation of Planet Factors of Smart City through Multi-layer Fuzzy Logic (MFL)

Internet of Things (IoT) approach is empowering smart city creativities all over the world. There is no specific tool or criteria for the evaluation of the services offered by the smart city. In this paper, a new Multilayer Fuzzy Inference System (MFIS) is proposed for the assessment of the Planet Factors of smart city (PFSC). The PFSC system is categorized into two levels. The proposed MFIS ba...

Geometric Logic in Computer

We present an introduction to geometric logic and the mathematical structures associated with it, such as categorical logic and toposes. We also describe some of its applications in computer science including its potential as a logic for spec-iication languages.

Improving Performance of Opportunistic Routing Protocol using Fuzzy Logic for Vehicular Ad-hoc Networks in Highways

Vehicular ad hoc networks are an emerging technology with an extensive capability in various applications including vehicles safety, traffic management and intelligent transportation systems. Considering the high mobility of vehicles and their inhomogeneous distributions, designing an efficient routing protocol seems necessary. Given the fact that a road is crowded at some sections and is not c...

Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic